Order:
  1.  37
    Generic expansions of ω-categorical structures and semantics of generalized quantifiers.A. A. Ivanov - 1999 - Journal of Symbolic Logic 64 (2):775-789.
    LetMbe a countably infinite ω-categorical structure. Consider Aut(M) as a complete metric space by definingd(g, h) = Ω{2−n:g(xn) ≠h(xn) org−1(xn) ≠h−1(xn)} where {xn:n∈ ω} is an enumeration ofMAn automorphism α ∈ Aut(M) is generic if its conjugacy class is comeagre. J. Truss has shown in [11] that if the set P of all finite partial isomorphisms contains a co-final subset P1closed under conjugacy and having the amalgamation property and the joint embedding property then there is a generic automorphism. In the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Kearnes, KA, Kiss, EW and Valeriote, MA, A geometric.M. Borisavljevit, S. Buss, G. Mints, T. Coquand, A. A. Ivanov & D. Macpherson - 1999 - Annals of Pure and Applied Logic 99:261.
     
    Export citation  
     
    Bookmark